NooShare: A decentralized ledger of shared computational resources

Proposal for a fully decentralized blockchain and proof-of-work algorithm for solving NP-complete problems

We propose a proof-of-work algorithm that rewards blockchain miners for using computational resources to solve NP-complete puzzles. The resulting blockchain will publicly store and improve solutions to problems with real world applications while maintaining a secure and fully functional transaction ledger.

ALGORAND: The Efficient and Democratic Ledger

Algorand is a truly decentralized, new, and secure way to manage a shared ledger. Unlike prior approaches based on proof of work, it requires a negligible amount of computation, and generates a transaction history that does not fork with overwhelmingly high probability. This approach cryptographically selects —in a way that is provably immune from manipulations, unpredictable until the last min...

Moving Beyond Bitcoin to an Endogenous Theory of Decentralized Ledger Technology Regulation: An Initial Proposal

Modeling and Verification of the Bitcoin Protocol

Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger. Since there is no trusted third party to guard against double spending, and inspired by its popularity, we would like to investigate the correctness of the Bitcoin p...

Coordinating Workflows in Shared Grid Environments

Computational grids are characterized by widely distributed computational resources shared by virtual organizations. Users submit workflows of tasks to be executed, some of which may duplicated because of their shared application domain. The problem of allocating tasks to resources in grids has unique characteristics, governed by three features. First, users are generally interested in workflow...